natural isomorphism

См. также в других словарях:

• Natural transformation — This article is about natural transformations in category theory. For the natural competence of bacteria to take up foreign DNA, see Transformation (genetics). In category theory, a branch of mathematics, a natural transformation provides a way… …   Wikipedia

• Natural number — Natural numbers can be used for counting (one apple, two apples, three apples, ...) from top to bottom. In mathematics, the natural numbers are the ordinary whole numbers used for counting ( there are 6 coins on the table ) and ordering ( this is …   Wikipedia

• Isomorphism-closed subcategory — A subcategory mathcal{A} of a category mathcal{B} is said to be isomorphism closed or replete if every mathcal{B} isomorphism h:A o B with Ainmathcal{A} belongs to mathcal{A}. This implies that both B and h^{ 1}:B o A belong to mathcal{A} as well …   Wikipedia

• Natural logarithm — Base e redirects here. For the numbering system which uses e as its base, see Non integer representation#Base e. Graph of the natural logarithm function. The function slowly grows to positive infinity as x increases and rapidly goes to negative… …   Wikipedia

• Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

• Natural number object — In category theory, a natural number object (NNO) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a category E with a terminal object 1 (alternately, a topos), an NNO N is given by: a global element… …   Wikipedia

• Myhill isomorphism theorem — For the Goodman–Myhill theorem in constructive set theory, see Diaconescu s theorem. In computability theory the Myhill isomorphism theorem, named after John Myhill, provides a characterization for two numberings to induce the same notion of… …   Wikipedia

• Group isomorphism — In abstract algebra, a group isomorphism is a function between two groups that sets up a one to one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two… …   Wikipedia

• Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… …   Wikipedia

• Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… …   Wikipedia

• Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… …   Wikipedia